Signing on a Postcard

We investigate the problem of signing short messages using a scheme that minimizes the total length of the original message and the appended signature. This line of research was motivated by several postal services interested by stamping machines capable of producing digital signatures. Although several message recovery schemes exist, their security is questionable. This paper proposes variants of DSA and ECDSA allowing partial recovery: the signature is appended to a truncated message and the discarded bytes are recovered by the verification algorithm

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Most approaches to the formal analyses of cryptographic protocols make the perfect cryptography assumption, i.e. the hypothese that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. Ideally, one would prefer to rely on a weaker hypothesis on the computational cost of gaining information about the plaintext pertaining to a ciphertext without knowing the key. Such a view is permitted by the Generic Model and the Random Oracle Model which provide non-standard computational models in which one may reason about the computational cost of breaking a cryptographic scheme. Using the proof assistant Coq, we provide a machine-checked account of the Generic Model and the Random Oracle Mode

Hard Instances of the Constrained Discrete Logarithm Problem

The discrete logarithm problem (DLP) generalizes to the constrained DLP, where the secret exponent $x$ belongs to a set known to the attacker. The complexity of generic algorithms for solving the constrained DLP depends on the choice of the set. Motivated by cryptographic applications, we study sets with succinct representation for which the constrained DLP is hard. We draw on earlier results due to Erd\"os et al. and Schnorr, develop geometric tools such as generalized Menelaus' theorem for proving lower bounds on the complexity of the constrained DLP, and construct sets with succinct representation with provable non-trivial lower bounds

Evidence for Indirect Action of Ionizing Radiation in 18-Crown-6 Complexes with Halogenous Salts of Strontium: Simulation of Radiation-Induced Transformations in Ionic Liquid/Crown Ether Compositions

Ionic liquid/crown ether compositions are an attractive alternative to traditional extractants in the processes for spent nuclear fuel and liquid radioactive wastes reprocessing. These compositions are exposed to ionizing radiation, and their radiation stability, especially in the presence of metal salts, is a crucial issue. In the present study, the macrocyclic 18C6·Sr(BF4)2 and 18C6·Sr(PF6)2 complexes simulating the components of metal loaded ionic liquid/crown ether extractants were synthesized and their structures were characterized by FTIR spectroscopy and single-crystal X-ray diffraction analysis. Inclusion of Sr2+ cation into the 18C6 cavity resulted in more symmetric D3d conformations of the macrocycle. The structural transformations of the crown ether were accompanied by an elongation of polyether C - O bonds that could increase the possibility of radiolytic cleavage of the macrocycle. However, EPR study of the synthesized compounds subjected to X-ray irradiation revealed predominant formation of macrocyclic -CH2-ĊH-O- radicals. This result demonstrated an evidence for indirect action of ionizing radiation on individual components of the complexes and was reasonably described by a positive "hole" transfer from primary macrocyclic radical cation to fluorous anion at the primary stages of radiolysis and a subsequent interaction of fluorine atom with 18C6 macrocycle in secondary radical reactions. The observed effects may be partially responsible for enhanced sensitivity of the ionic liquid/crown ether extractants to ionizing radiation due to chemical blocking of the crown ether with radiolytic HF, radiation-chemical degradation of the 18C6, and precipitation of a low-soluble SrF2. © 2018 American Chemical Society

Evidence for Indirect Action of Ionizing Radiation in 18-Crown-6 Complexes with Halogenous Salts of Strontium: Simulation of Radiation-Induced Transformations in Ionic Liquid/Crown Ether Compositions

Ionic liquid/crown ether compositions are an attractive alternative to traditional extractants in the processes for spent nuclear fuel and liquid radioactive wastes reprocessing. These compositions are exposed to ionizing radiation, and their radiation stability, especially in the presence of metal salts, is a crucial issue. In the present study, the macrocyclic 18C6·Sr(BF4)2 and 18C6·Sr(PF6)2 complexes simulating the components of metal loaded ionic liquid/crown ether extractants were synthesized and their structures were characterized by FTIR spectroscopy and single-crystal X-ray diffraction analysis. Inclusion of Sr2+ cation into the 18C6 cavity resulted in more symmetric D3d conformations of the macrocycle. The structural transformations of the crown ether were accompanied by an elongation of polyether C - O bonds that could increase the possibility of radiolytic cleavage of the macrocycle. However, EPR study of the synthesized compounds subjected to X-ray irradiation revealed predominant formation of macrocyclic -CH2-ĊH-O- radicals. This result demonstrated an evidence for indirect action of ionizing radiation on individual components of the complexes and was reasonably described by a positive "hole" transfer from primary macrocyclic radical cation to fluorous anion at the primary stages of radiolysis and a subsequent interaction of fluorine atom with 18C6 macrocycle in secondary radical reactions. The observed effects may be partially responsible for enhanced sensitivity of the ionic liquid/crown ether extractants to ionizing radiation due to chemical blocking of the crown ether with radiolytic HF, radiation-chemical degradation of the 18C6, and precipitation of a low-soluble SrF2. © 2018 American Chemical Society